Generalized homothetic biorders
نویسندگان
چکیده
منابع مشابه
Generalized homothetic biorders
In this paper, we study the binary relations R on a nonempty N-set A which are hindependent and h-positive (cf. the introduction below). They are called homothetic positive orders. Denote by B the set of intervals of R having the form [r,+∞[ with 0 < r ≤ +∞ or ]q,∞[ with q ∈ Q≥0. It is a Q>0-set endowed with a binary relation > extending the usual one on R>0 (identified with a subset of B via t...
متن کاملBiorders with Frontier
This paper studies an extension of biorders that has a “frontier” between the relation and the absence of relation. This extension is motivated by a conjoint measurement problem consisting in the additive representation of ordered coverings defined on product sets of two components. We also investigate interval orders and semiorders with frontier.
متن کاملSequentiality in Bounded Biorders
We study a notion of bounded stable biorder, showing that the monotone and stable functions on such biorders are sequential. We construct bounded biorder models of a range of sequential, higher-order functional calculi, including unary PCF, (typed and untyped) call-by-value and lazy λ-calculi, and non-deterministic SPCF. We prove universality and full abstraction results for these models by red...
متن کاملBistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the extensional order — and a bistable coherence, which captures equivalence of program behaviour, up to permutation of top (error) and bottom (divergence). We show that monotone and bistable functions (which are required t...
متن کاملHomothetic interval orders
We give a characterization of the non-empty binary relations  on a N∗-set A such that there exist two morphisms of N∗-sets u1, u2 : A → R+ verifying u1 ≤ u2 and x  y ⇔ u1(x) > u2(y). They are called homothetic interval orders. If  is a homothetic interval order, we also give a representation of  in terms of one morphism of N∗-sets u : A → R+ and a map σ : u(R+) × A → R+ such that x  y ⇔ σ(...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2009
ISSN: 0012-365X
DOI: 10.1016/j.disc.2008.10.011